Directory for packager Pavel Shved < pavel_shved_rosalab_ru>
Display 1 - 4 hits of 4.
| cvc3 | 2.4.1-0 | i586 | Automatic theorem prover for Satisfiability Modulo Theories | Mandrake Other |
| faketime | 0.8.1-0 | i586 | Run programs with a faked system time | Mandrake Other |
| libcvc3_5 | 2.4.1-0 | i586 | Shared libraries for automatic SMT theorem proving | Mandrake Other |
| libcvc3_5-devel | 2.4.1-0 | i586 | Library and includes to use automatic SMT theorem proving | Mandrake Other |
